﻿% Dạng 4.2.1 Có phải {con vật} đẻ/ăn/sống ở {thông tin}?

cau_hoi(lambda(X,TT)) --> tu_nghi_van1 , thong_tin(TT) , dau_hoi.

thong_tin(DT) --> doi_tuong_thong_tin1(DTTT1) , dong_tu(DT) , doi_tuong_thong_tin2(DTTT2), tu_nghi_van2,{arg(1,DT,DTTT1),arg(2,DT,DTTT2)}.

tu_nghi_van1 --> [có,phải].

doi_tuong_thong_tin1(X) --> [X].

doi_tuong_thong_tin1(X) --> [con,X].

dong_tu(ăn(X,Y)) --> [ăn].

dong_tu(nơi_sống(X,Y)) --> [sống,ở].

dong_tu(đẻ(X,Y)) --> [đẻ].

doi_tuong_thong_tin2(X) --> [X].

tu_nghi_van2 --> [không].

dau_hoi --> [?].